Section: Dissemination

Scientific Animation

Conference organization

Didier Rémy co-chaired the OCaml Users and Developers Workshop (OUD 2012), affiliated with ICFP 2012, which took place in Copenhagen, Denmark in September 2012.

Didier Rémy is organizing the next meeting of IFIP working group 2.8 “Functional programming”, which will take place in Aussois, France, in October 2013.

Editorial boards

Xavier Leroy was co-editor in chief of the Journal of Functional Programming until March 2012, when he stepped down at the end of his 5-year term.

Xavier Leroy is a member of the editorial boards of Journal of Automated Reasoning, Journal of Functional Programming, and Journal of Formalized Reasoning.

Program committees

Damien Doligez was a member of the program committee of the International Workshop on the TLA+ Method and Tools 2012 (TLA 2012), a satellite event of Formal Methods 2012 (FM 2012)

Xavier Leroy was a member of the program committees of the ACM symposium on Principles of Programming Languages (POPL 2013) and of the European Symposium on Programming (ESOP 2013). He was a member of the external review committee for the ACM conference on Programming Languages Design and Implementation (PLDI 2013).

François Pottier was a member of the program committees of the ACM workshops on ML (ML 2012), on Higher-Order Programming with Effects (HOPE 2012), and on Programming Languages meets Program Verification (PLPV 2013). He was a member of the external review committee for the ACM symposium on Principles of Programming Languages (POPL 2013).

Na Xu was a member of the program committee of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2013).

Steering committees

Xavier Leroy is a member of the steering committees for the Certified Programs and Proofs (CPP) conference and for the ACM PLPV workshop.

François Pottier is a member of the steering committee for the ACM TLDI workshop.

Didier Rémy is a member of the steering committee of the OCaml Users and Implementors Workshop.